#include<stdio.h>
void main(){

	char ch1,ch2;

	ch1=getchar();

	ch2=getchar();

    putchar(ch1+32);

	putchar(ch2+32);

	putchar('\n');
    
   
}